Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚡ Proof Automation
Tactic Languages, Auto Tactics, Proof Search, Hammer Tools
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
27805
posts in
13.8
ms
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
⚔️
Lean Tactics
Invariant-Driven
Automated
Testing
arxiv.org
·
1d
🔍
Concolic Testing
Zevi
's AI Development
Workflow
shorthaired-billboard-f9a.notion.site
·
1d
⚙️
Batch Processing
Secure
LLM
Scripting
. Finally
mlld.ai
·
1d
·
Discuss:
Hacker News
⚔️
Lean Tactics
A Minimal Agent for Automated
Theorem
Proving
arxiv.org
·
1d
✓
Automated Theorem Proving
Turning Threat Intelligence into Bug
Bounty
Gold: A Practical
Workflow
infosecwriteups.com
·
3h
🎯
Threat Hunting
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
16h
🔧
Hardware Verification
The
Math
Behind the Match: Building Production Search for People
Names
hackernoon.com
·
12h
🌳
Trie Structures
AI
Authentication
and
Authorization
fusionauth.io
·
6h
·
Discuss:
Hacker News
🔄
Archival Workflows
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
6h
🔧
Hardware Verification
CyberStrikeAI
tool
adopted
by hackers for AI-powered attacks
bleepingcomputer.com
·
9h
🔓
Hacking
In
defence
of
correctness
blog.ploeh.dk
·
1h
⚙️
Proof Engineering
Testing AI Agents:
Deterministic
Evaluation
in a
Non-Deterministic
World
sitepoint.com
·
13h
🔍
Concolic Testing
A
rather
disorganized
rant about LLMs
boston.conman.org
·
3h
🐛
Fuzzing
How I run 4–8 parallel coding agents with
tmux
and
Markdown
specs
schipper.ai
·
18h
·
Discuss:
Hacker News
⚙️
Batch Processing
Show HN: Product Model – A structured
grammar
for bridging
PRDs
and code
github.com
·
15h
·
Discuss:
Hacker News
🧩
WASM Components
I spent $11. In Ai Agent to
recon
and
exploit
infosecwriteups.com
·
3h
🔓
Hacking
February
quick-takes
blog.senko.net
·
11h
🌊
Streaming Algorithms
Agentic
Engineering: Building Without
Writing
dehora.net
·
19m
·
Discuss:
Hacker News
⚙️
TLA+
Your
SAST
tool is blind to the biggest AI threat. Why we need to
scan
Data, not just Code
hackernoon.com
·
13h
🏠
Homelab Pentesting
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help